"World Congress on Formal Methods in the Development of Computing Systems" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2

World Congress on Formal Methods in the Development of Computing Systems

11.33 Mb

#2

FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1

Jeannette M. Wing, Jim Woodcook, Jim Davies

10.75 Mb